COMMENT ⊗   VALID 00022 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	TAK
C00003 00003	TRAVERSE
C00006 00004	DESTRUCT
C00008 00005	TRIANG
C00010 00006	DERIV
C00012 00007	DDERIV
C00016 00008	FDDERIV
C00020 00009	TAKL
C00021 00010	TAKR
C00034 00011	PUZZLE
C00038 00012	BROWSE
C00044 00013	FFT
C00047 00014	DIV2
C00049 00015	SCCPP
C00051 00016	FRPOLY
C00058 00017	BOYER
C00065 00018	TPRINT
C00066 00019	FPRINT
C00067 00020	FREAD
C00068 00021	STAK
C00069 00022	CTAK
C00070 ENDMK
C⊗;
;TAK
(fasload met1)
(TAK 18 12 6)

(METER:REPORT-TAK)
Statistics
= <calls> (<percentage>)

Meter for: TAK
Calls to TAK = 63609 (57.14%)
1-'s = 47706 (42.86%)
Total = 111315
T 
;TRAVERSE
(fasload met2)
(*rset (nouuo ()))

(init)

(do ((i 50. (1- i)))
    ((= i 0))
    (traverse root)
    (traverse root)
    (traverse root)
    (traverse root)
    (traverse root))) 

(meter:report-traverse)
Statistics
= <calls> (<percentage>)

Meter for: SNB
1+'s = 100 (100.0%)
Total = 100

Meter for: REMOVE
Cdr's = 1093372 (48.11%)
='s = 553818 (24.37%)
1-'s = 529455 (23.3%)
Car's = 66207 (2.91%)
Eq's = 17281 (0.76%)
Rplacd's = 12231 (0.54%)
Rplaca's = 100 (0.0%)
Total = 2272464

Meter for: SELECT
='s = 541492 (33.33%)
1-'s = 529260 (32.58%)
Cdr's = 529260 (32.58%)
Car's = 24464 (1.51%)
Total = 1624476

Meter for: ADD
Car's = 36693 (33.33%)
Null's = 24463 (22.22%)
Rplacd's = 12232 (11.11%)
Rplaca's = 12231 (11.11%)
Conses = 12231 (11.11%)
Cdr's = 12231 (11.11%)
Total = 110081

Meter for: CREATE-STRUCTURE
Setf's = 24462 (16.63%)
RANDOM = 24462 (16.63%)
ADD = 12232 (8.32%)
REMOVE = 12232 (8.32%)
Null's = 12232 (8.32%)
Car's = 12232 (8.32%)
SELECT = 12232 (8.32%)
PARENTS = 12231 (8.32%)
SONS = 12231 (8.32%)
Conses = 12331 (8.38%)
1-'s = 100 (0.07%)
='s = 100 (0.07%)
Rplacd's = 1 (0.0%)
FIND-ROOT = 1 (0.0%)
Total = 147079

Meter for: FIND-ROOT
='s = 1 (33.33%)
PARENTS = 1 (33.33%)
Null's = 1 (33.33%)
1-'s = 0 (0.0%)
Car's = 0 (0.0%)
Total = 3

Meter for: TRAVERS
MARK = 3083000 (16.45%)
Null's = 3082750 (16.44%)
Cdr's = 3057750 (16.31%)
Eq's = 3058000 (16.31%)
TRAVERS = 3057750 (16.31%)
Car's = 3057750 (16.31%)
Setf's = 175000 (0.93%)
1+'s = 25000 (0.13%)
ENTRY1 = 25000 (0.13%)
ENTRY2 = 25000 (0.13%)
ENTRY3 = 25000 (0.13%)
ENTRY4 = 25000 (0.13%)
ENTRY5 = 25000 (0.13%)
ENTRY6 = 25000 (0.13%)
Total = 18747000
T 
;DESTRUCT
;;; Counts and Runtimes

(fasload met3)
(*rset (nouuo ()))

(destructive 600. 50.)

(meter:report-destruct)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DESTRUCTIVE
Rplacd's = 9167 (1.66%) [11.142 (40.44%)]
Nconcs = 860 (0.16%) [5.023 (18.23%)]
Rplaca's = 84550 (15.27%) [3.799 (13.79%)]
Conses = 43105 (7.78%) [2.83 (10.27%)]
='s = 142635 (25.75%) [1.291 (4.69%)]
1-'s = 127980 (23.11%) [1.076 (3.91%)]
Cdr's = 99537 (17.97%) [0.828 (3.01%)]
Quotients = 9252 (1.67%) [0.765 (2.78%)]
Lengths = 9252 (1.67%) [0.557 (2.02%)]
Car's = 20824 (3.76%) [0.175 (0.64%)]
Null's = 6686 (1.21%) [0.068 (0.25%)]
Total = 553848	27.554
T 
;TRIANG
(fasload met4)
(*rset (nouuo ()))

(gogogo 22.)
(meter:report-triang)

Statistics
= <calls> (<percentage>)


Meter for: LAST-POSITION
=s = 20150 (50.0%)
References of (board x) = 10075 (25.0%)
1+s = 9300 (23.08%)
LAST-POSITION = 775 (1.92%)
Total = 40300


Meter for: TRY
=s = 19587224 (47.44%)
References of (board x) = 7820920 (18.94%)
1+s = 5963732 (14.45%)
TRY = 5802572 (14.06%)
Stores of (board x) = 971616 (2.35%)
Stores of (board (c x)) = 323872 (0.78%)
Stores of (board (b x)) = 323872 (0.78%)
Stores of (board (a x)) = 323872 (0.78%)
Stores of (sequence x) = 161936 (0.39%)
Listarrays = 1550 (0.0%)
Cdrs = 1550 (0.0%)
Conses = 776 (0.0%)
Members = 775 (0.0%)
Total = 41284267
;DERIV
(fasload met5)
(*rset (nouuo ())) 

(run)
(meter:report-deriv)
(setq meter:sort-runtime t)
(meter:report-deriv)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
Conses = 120000 (75.0%)
DER1 = 40000 (25.0%)
Total = 160000	[0.0]

Meter for: DERIV
Conses = 160000 (39.02%)
Eqs = 95000 (23.17%) [0.781 (1.7%)]
DERIV = 65000 (15.85%)
Cars = 50000 (12.2%) [0.421 (0.92%)]
Cdrs = 20000 (4.88%) [0.14 (0.31%)]
Mapcars = 20000 (4.88%) [43.99 (95.9%)]
Total = 410000	[45.871]

Meter for: RUN
=s = 1001 (50.02%) [9.0E-3 (50.0%)]
1+s = 1000 (49.98%) [9.0E-3 (50.0%)]
Total = 2001	[0.018]
T 
T 
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
Conses = 120000 (75.0%)
DER1 = 40000 (25.0%)
Total = 160000	[0.0]

Meter for: DERIV
Mapcars = 20000 (4.88%) [43.99 (95.9%)]
Eqs = 95000 (23.17%) [0.781 (1.7%)]
Conses = 160000 (39.02%)
Cars = 50000 (12.2%) [0.421 (0.92%)]
Cdrs = 20000 (4.88%) [0.14 (0.31%)]
DERIV = 65000 (15.85%)
Total = 410000	[45.871]

Meter for: RUN
=s = 1001 (50.02%) [9.0E-3 (50.0%)]
1+s = 1000 (49.98%) [9.0E-3 (50.0%)]
Total = 2001	[0.018]
T 
;DDERIV

(fasload met6)
(*rset (nouuo ()))

(run)
(meter:report-dderiv)
(setq meter:sort-runtime t)
(meter:report-dderiv)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
Conses = 120000 (75.0%)
DER1 = 40000 (25.0%)
Total = 160000	[0.0]

Meter for: (PLUS DERIV)
Conses = 50000 (83.33%)
Mapcars = 5000 (8.33%) [23.551 (99.53%)]
Plus-deriv = 5000 (8.33%)
Total = 60000	[23.663]

Meter for: (DIFFERENCE DERIV)
Mapcars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Diff-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: (TIMES DERIV)
Conses = 180000 (85.71%)
Mapcars = 15000 (7.14%) [3.252 (72.82%)]
Times-deriv = 15000 (7.14%)
Total = 210000	[4.466]

Meter for: (QUOTIENT DERIV)
Cars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Quo-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: DERIV
DERIV = 65000 (34.21%)
Eqs = 45000 (23.68%) [0.414 (38.91%)]
Cdrs = 20000 (10.53%) [0.166 (15.6%)]
Funcalls = 20000 (10.53%)
Cars = 20000 (10.53%) [0.18 (16.92%)]
Gets = 20000 (10.53%) [0.304 (28.57%)]
Total = 190000	[1.064]

Meter for: RUN
=s = 1001 (50.02%) [6.0E-3 (42.86%)]
1+s = 1000 (49.98%) [8.0E-3 (57.14%)]
Total = 2001	[0.014]
T 
T 
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
DER1 = 40000 (25.0%)
Conses = 120000 (75.0%)
Total = 160000	[0.0]

Meter for: (PLUS DERIV)
Mapcars = 5000 (8.33%) [23.551 (99.53%)]
Conses = 50000 (83.33%)
Plus-deriv = 5000 (8.33%)
Total = 60000	[23.663]

Meter for: (DIFFERENCE DERIV)
Mapcars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Diff-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: (TIMES DERIV)
Mapcars = 15000 (7.14%) [3.252 (72.82%)]
Conses = 180000 (85.71%)
Times-deriv = 15000 (7.14%)
Total = 210000	[4.466]

Meter for: (QUOTIENT DERIV)
Cars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Quo-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: DERIV
Eqs = 45000 (23.68%) [0.414 (38.91%)]
Gets = 20000 (10.53%) [0.304 (28.57%)]
Cars = 20000 (10.53%) [0.18 (16.92%)]
Cdrs = 20000 (10.53%) [0.166 (15.6%)]
Funcalls = 20000 (10.53%)
DERIV = 65000 (34.21%)
Total = 190000	[1.064]

Meter for: RUN
1+s = 1000 (49.98%) [8.0E-3 (57.14%)]
=s = 1001 (50.02%) [6.0E-3 (42.86%)]
Total = 2001	[0.014]
T 
;FDDERIV

(fasload met7)
(*rset (nouuo ())))

(run)
(meter:report-fdderiv)
(setq meter:sort-runtime t)
(meter:report-fdderiv)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
Conses = 120000 (75.0%)
DER1 = 40000 (25.0%)
Total = 160000	[0.0]

Meter for: (PLUS DERIV DERIV)
Conses = 50000 (83.33%)
Mapcars = 5000 (8.33%) [23.438 (99.51%)]
Plus-deriv = 5000 (8.33%)
Total = 60000	[23.554]

Meter for: (DIFFERENCE DERIV DERIV)
Mapcars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Diff-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: (TIMES DERIV DERIV)
Conses = 300000 (90.91%)
Mapcars = 15000 (4.55%) [3.306 (82.88%)]
Times-deriv = 15000 (4.55%)
Total = 330000	[3.989]

Meter for: (QUOTIENT DERIV DERIV)
Cars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Quo-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: DERIV
DERIV = 65000 (30.95%)
Eqs = 45000 (21.43%) [0.357 (35.66%)]
Gets = 40000 (19.05%)
Cdrs = 20000 (9.52%) [0.167 (16.68%)]
SUBRcalls = 20000 (9.52%)
Cars = 20000 (9.52%) [0.152 (15.18%)]
Total = 210000	[1.001]

Meter for: RUN
=s = 1001 (50.02%) [9.0E-3 (45.0%)]
1+s = 1000 (49.98%) [0.011 (55.0%)]
Total = 2001	[0.02]
T 
T 
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: DER1
DER1 = 40000 (25.0%)
Conses = 120000 (75.0%)
Total = 160000	[0.0]

Meter for: (PLUS DERIV DERIV)
Mapcars = 5000 (8.33%) [23.438 (99.51%)]
Conses = 50000 (83.33%)
Plus-deriv = 5000 (8.33%)
Total = 60000	[23.554]

Meter for: (DIFFERENCE DERIV DERIV)
Mapcars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Diff-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: (TIMES DERIV DERIV)
Mapcars = 15000 (4.55%) [3.306 (82.88%)]
Conses = 300000 (90.91%)
Times-deriv = 15000 (4.55%)
Total = 330000	[3.989]

Meter for: (QUOTIENT DERIV DERIV)
Cars = 0 (0.0%) [0.0 (0.0%)]
Conses = 0 (0.0%)
Quo-deriv = 0 (0.0%)
Total = 0	[0.0]

Meter for: DERIV
Eqs = 45000 (21.43%) [0.357 (35.66%)]
Gets = 40000 (19.05%)
Cdrs = 20000 (9.52%) [0.167 (16.68%)]
Cars = 20000 (9.52%) [0.152 (15.18%)]
SUBRcalls = 20000 (9.52%)
DERIV = 65000 (30.95%)
Total = 210000	[1.001]

Meter for: RUN
1+s = 1000 (49.98%) [0.011 (55.0%)]
=s = 1001 (50.02%) [9.0E-3 (45.0%)]
Total = 2001	[0.02]
;TAKL

(fasload met8)
(*rset (nouuo ())) 

(setq 18l (listn 18.)
      12l (listn 12.)
      6l (listn 6.))

(mas 18l 12l 6l)

(meter:report-takl)
Statistics
= <calls> (<percentage>)

Meter for: LISTN
LISTN = 39 (26.0%)
='s = 39 (26.0%)
Conses = 36 (24.0%)
1-'s = 36 (24.0%)
Total = 150

Meter for: MAS
MAS = 63609 (57.14%)
Cdr's = 47706 (42.86%)
Total = 111315

Meter for: SHORTERP
Cdr's = 818900 (47.69%)
Null's = 425352 (24.77%)
SHORTERP = 473059 (27.55%)
Total = 1717311
T 
;TAKR

(fasload met9)
(*rset (nouuo ())) 

(tak0 18. 12. 6.)

(meter:report-takr)
Statistics
= <calls> (<percentage>)

Meter for: TAK0
TAK0 = 817 (61.02%)
1-'s = 522 (38.98%)
Total = 1339

Meter for: TAK1
TAK1 = 586 (52.75%)
1-'s = 525 (47.25%)
Total = 1111

Meter for: TAK2
TAK2 = 716 (61.41%)
1-'s = 450 (38.59%)
Total = 1166

Meter for: TAK3
TAK3 = 601 (53.23%)
1-'s = 528 (46.77%)
Total = 1129

Meter for: TAK4
TAK4 = 672 (60.7%)
1-'s = 435 (39.3%)
Total = 1107

Meter for: TAK5
TAK5 = 618 (51.76%)
1-'s = 576 (48.24%)
Total = 1194

Meter for: TAK6
TAK6 = 760 (58.6%)
1-'s = 537 (41.4%)
Total = 1297

Meter for: TAK7
TAK7 = 528 (56.23%)
1-'s = 411 (43.77%)
Total = 939

Meter for: TAK8
TAK8 = 640 (59.2%)
1-'s = 441 (40.8%)
Total = 1081

Meter for: TAK9
TAK9 = 556 (60.5%)
1-'s = 363 (39.5%)
Total = 919

Meter for: TAK10
TAK10 = 490 (56.65%)
1-'s = 375 (43.35%)
Total = 865

Meter for: TAK11
TAK11 = 586 (54.66%)
1-'s = 486 (45.34%)
Total = 1072

Meter for: TAK12
TAK12 = 626 (58.67%)
1-'s = 441 (41.33%)
Total = 1067

Meter for: TAK13
TAK13 = 573 (58.23%)
1-'s = 411 (41.77%)
Total = 984

Meter for: TAK14
TAK14 = 666 (58.42%)
1-'s = 474 (41.58%)
Total = 1140

Meter for: TAK15
TAK15 = 626 (55.99%)
1-'s = 492 (44.01%)
Total = 1118

Meter for: TAK16
TAK16 = 575 (61.5%)
1-'s = 360 (38.5%)
Total = 935

Meter for: TAK17
TAK17 = 658 (52.56%)
1-'s = 594 (47.44%)
Total = 1252

Meter for: TAK18
TAK18 = 683 (60.12%)
1-'s = 453 (39.88%)
Total = 1136

Meter for: TAK19
TAK19 = 674 (50.52%)
1-'s = 660 (49.48%)
Total = 1334

Meter for: TAK20
TAK20 = 874 (60.15%)
1-'s = 579 (39.85%)
Total = 1453

Meter for: TAK21
TAK21 = 613 (52.21%)
1-'s = 561 (47.79%)
Total = 1174

Meter for: TAK22
TAK22 = 742 (62.09%)
1-'s = 453 (37.91%)
Total = 1195

Meter for: TAK23
TAK23 = 620 (51.07%)
1-'s = 594 (48.93%)
Total = 1214

Meter for: TAK24
TAK24 = 689 (59.86%)
1-'s = 462 (40.14%)
Total = 1151

Meter for: TAK25
TAK25 = 605 (50.08%)
1-'s = 603 (49.92%)
Total = 1208

Meter for: TAK26
TAK26 = 779 (60.02%)
1-'s = 519 (39.98%)
Total = 1298

Meter for: TAK27
TAK27 = 507 (57.09%)
1-'s = 381 (42.91%)
Total = 888

Meter for: TAK28
TAK28 = 615 (57.42%)
1-'s = 456 (42.58%)
Total = 1071

Meter for: TAK29
TAK29 = 547 (59.52%)
1-'s = 372 (40.48%)
Total = 919

Meter for: TAK30
TAK30 = 474 (61.72%)
1-'s = 294 (38.28%)
Total = 768

Meter for: TAK31
TAK31 = 610 (56.43%)
1-'s = 471 (43.57%)
Total = 1081

Meter for: TAK32
TAK32 = 621 (58.31%)
1-'s = 444 (41.69%)
Total = 1065

Meter for: TAK33
TAK33 = 585 (57.35%)
1-'s = 435 (42.65%)
Total = 1020

Meter for: TAK34
TAK34 = 649 (60.37%)
1-'s = 426 (39.63%)
Total = 1075

Meter for: TAK35
TAK35 = 611 (56.31%)
1-'s = 474 (43.69%)
Total = 1085

Meter for: TAK36
TAK36 = 573 (63.25%)
1-'s = 333 (36.75%)
Total = 906

Meter for: TAK37
TAK37 = 650 (52.76%)
1-'s = 582 (47.24%)
Total = 1232

Meter for: TAK38
TAK38 = 703 (58.83%)
1-'s = 492 (41.17%)
Total = 1195

Meter for: TAK39
TAK39 = 655 (52.19%)
1-'s = 600 (47.81%)
Total = 1255

Meter for: TAK40
TAK40 = 840 (59.57%)
1-'s = 570 (40.43%)
Total = 1410

Meter for: TAK41
TAK41 = 597 (51.29%)
1-'s = 567 (48.71%)
Total = 1164

Meter for: TAK42
TAK42 = 765 (61.45%)
1-'s = 480 (38.55%)
Total = 1245

Meter for: TAK43
TAK43 = 628 (53.77%)
1-'s = 540 (46.23%)
Total = 1168

Meter for: TAK44
TAK44 = 675 (58.9%)
1-'s = 471 (41.1%)
Total = 1146

Meter for: TAK45
TAK45 = 622 (54.09%)
1-'s = 528 (45.91%)
Total = 1150

Meter for: TAK46
TAK46 = 764 (59.41%)
1-'s = 522 (40.59%)
Total = 1286

Meter for: TAK47
TAK47 = 520 (57.14%)
1-'s = 390 (42.86%)
Total = 910

Meter for: TAK48
TAK48 = 609 (59.18%)
1-'s = 420 (40.82%)
Total = 1029

Meter for: TAK49
TAK49 = 542 (56.87%)
1-'s = 411 (43.13%)
Total = 953

Meter for: TAK50
TAK50 = 548 (60.15%)
1-'s = 363 (39.85%)
Total = 911

Meter for: TAK51
TAK51 = 612 (56.67%)
1-'s = 468 (43.33%)
Total = 1080

Meter for: TAK52
TAK52 = 615 (57.58%)
1-'s = 453 (42.42%)
Total = 1068

Meter for: TAK53
TAK53 = 587 (55.96%)
1-'s = 462 (44.04%)
Total = 1049

Meter for: TAK54
TAK54 = 656 (58.21%)
1-'s = 471 (41.79%)
Total = 1127

Meter for: TAK55
TAK55 = 618 (56.59%)
1-'s = 474 (43.41%)
Total = 1092

Meter for: TAK56
TAK56 = 568 (60.62%)
1-'s = 369 (39.38%)
Total = 937

Meter for: TAK57
TAK57 = 696 (51.44%)
1-'s = 657 (48.56%)
Total = 1353

Meter for: TAK58
TAK58 = 717 (61.13%)
1-'s = 456 (38.87%)
Total = 1173

Meter for: TAK59
TAK59 = 642 (49.65%)
1-'s = 651 (50.35%)
Total = 1293

Meter for: TAK60
TAK60 = 860 (60.39%)
1-'s = 564 (39.61%)
Total = 1424

Meter for: TAK61
TAK61 = 608 (53.52%)
1-'s = 528 (46.48%)
Total = 1136

Meter for: TAK62
TAK62 = 741 (60.84%)
1-'s = 477 (39.16%)
Total = 1218

Meter for: TAK63
TAK63 = 622 (53.67%)
1-'s = 537 (46.33%)
Total = 1159

Meter for: TAK64
TAK64 = 689 (59.24%)
1-'s = 474 (40.76%)
Total = 1163

Meter for: TAK65
TAK65 = 630 (52.76%)
1-'s = 564 (47.24%)
Total = 1194

Meter for: TAK66
TAK66 = 768 (59.12%)
1-'s = 531 (40.88%)
Total = 1299

Meter for: TAK67
TAK67 = 526 (58.77%)
1-'s = 369 (41.23%)
Total = 895

Meter for: TAK68
TAK68 = 621 (60.0%)
1-'s = 414 (40.0%)
Total = 1035

Meter for: TAK69
TAK69 = 529 (59.11%)
1-'s = 366 (40.89%)
Total = 895

Meter for: TAK70
TAK70 = 486 (58.91%)
1-'s = 339 (41.09%)
Total = 825

Meter for: TAK71
TAK71 = 597 (55.9%)
1-'s = 471 (44.1%)
Total = 1068

Meter for: TAK72
TAK72 = 635 (58.85%)
1-'s = 444 (41.15%)
Total = 1079

Meter for: TAK73
TAK73 = 598 (56.58%)
1-'s = 459 (43.42%)
Total = 1057

Meter for: TAK74
TAK74 = 660 (60.61%)
1-'s = 429 (39.39%)
Total = 1089

Meter for: TAK75
TAK75 = 583 (56.27%)
1-'s = 453 (43.73%)
Total = 1036

Meter for: TAK76
TAK76 = 572 (58.55%)
1-'s = 405 (41.45%)
Total = 977

Meter for: TAK77
TAK77 = 676 (52.98%)
1-'s = 600 (47.02%)
Total = 1276

Meter for: TAK78
TAK78 = 691 (59.47%)
1-'s = 471 (40.53%)
Total = 1162

Meter for: TAK79
TAK79 = 675 (51.37%)
1-'s = 639 (48.63%)
Total = 1314

Meter for: TAK80
TAK80 = 826 (61.97%)
1-'s = 507 (38.03%)
Total = 1333

Meter for: TAK81
TAK81 = 590 (53.2%)
1-'s = 519 (46.8%)
Total = 1109

Meter for: TAK82
TAK82 = 700 (63.01%)
1-'s = 411 (36.99%)
Total = 1111

Meter for: TAK83
TAK83 = 591 (52.53%)
1-'s = 534 (47.47%)
Total = 1125

Meter for: TAK84
TAK84 = 671 (59.07%)
1-'s = 465 (40.93%)
Total = 1136

Meter for: TAK85
TAK85 = 587 (52.79%)
1-'s = 525 (47.21%)
Total = 1112

Meter for: TAK86
TAK86 = 795 (57.99%)
1-'s = 576 (42.01%)
Total = 1371

Meter for: TAK87
TAK87 = 558 (56.53%)
1-'s = 429 (43.47%)
Total = 987

Meter for: TAK88
TAK88 = 657 (59.51%)
1-'s = 447 (40.49%)
Total = 1104

Meter for: TAK89
TAK89 = 535 (61.21%)
1-'s = 339 (38.79%)
Total = 874

Meter for: TAK90
TAK90 = 470 (58.1%)
1-'s = 339 (41.9%)
Total = 809

Meter for: TAK91
TAK91 = 593 (56.05%)
1-'s = 465 (43.95%)
Total = 1058

Meter for: TAK92
TAK92 = 627 (56.49%)
1-'s = 483 (43.51%)
Total = 1110

Meter for: TAK93
TAK93 = 621 (57.02%)
1-'s = 468 (42.98%)
Total = 1089

Meter for: TAK94
TAK94 = 659 (58.63%)
1-'s = 465 (41.37%)
Total = 1124

Meter for: TAK95
TAK95 = 596 (57.98%)
1-'s = 432 (42.02%)
Total = 1028

Meter for: TAK96
TAK96 = 582 (62.78%)
1-'s = 345 (37.22%)
Total = 927

Meter for: TAK97
TAK97 = 647 (53.16%)
1-'s = 570 (46.84%)
Total = 1217

Meter for: TAK98
TAK98 = 698 (60.64%)
1-'s = 453 (39.36%)
Total = 1151

Meter for: TAK99
TAK99 = 645 (51.31%)
1-'s = 612 (48.69%)
Total = 1257
T 
;PUZZLE

(start)
(setq meter:sort-runtime t)
(meter:report-puzzle)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: FIT
>s = 824530 (31.41%) [7.538 (27.67%)]
1+s = 795877 (30.32%) [6.495 (23.84%)]
References of (p x) = 759987 (28.95%) [10.965 (40.24%)]
References of (puzzle x) = 75253 (2.87%) [0.791 (2.9%)]
References of (class x) = 33901 (1.29%) [0.341 (1.25%)]
References of (piececount (class x)) = 29909 (1.14%) [0.274 (1.01%)]
=s = 27918 (1.06%) [0.252 (0.92%)]
Stores of (puzzle x) = 24102 (0.92%) [0.283 (1.04%)]
References of (piecemax x) = 19331 (0.74%) [0.167 (0.61%)]
FIT = 15339 (0.58%)
Stores of (p x) = 6733 (0.26%) [0.1 (0.37%)]
Stores of (piececount (class x)) = 3992 (0.15%) [0.04 (0.15%)]
Returns = 2021 (0.08%)
TRIAL = 2005 (0.08%)
PLACE = 2005 (0.08%)
REMOVE = 1987 (0.08%)
Stores of (piecemax x) = 13 (0.0%) [0.0 (0.0%)]
Stores of (class x) = 13 (0.0%) [0.0 (0.0%)]
DEFINEPIECE = 13 (0.0%)
Total = 2624929	[27.246]
T 
T 
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: FIT
References of (p x) = 759987 (28.95%) [10.965 (40.24%)]
>s = 824530 (31.41%) [7.538 (27.67%)]
1+s = 795877 (30.32%) [6.495 (23.84%)]
References of (puzzle x) = 75253 (2.87%) [0.791 (2.9%)]
References of (class x) = 33901 (1.29%) [0.341 (1.25%)]
Stores of (puzzle x) = 24102 (0.92%) [0.283 (1.04%)]
References of (piececount (class x)) = 29909 (1.14%) [0.274 (1.01%)]
=s = 27918 (1.06%) [0.252 (0.92%)]
References of (piecemax x) = 19331 (0.74%) [0.167 (0.61%)]
Stores of (p x) = 6733 (0.26%) [0.1 (0.37%)]
Stores of (piececount (class x)) = 3992 (0.15%) [0.04 (0.15%)]
Stores of (piecemax x) = 13 (0.0%) [0.0 (0.0%)]
Stores of (class x) = 13 (0.0%) [0.0 (0.0%)]
DEFINEPIECE = 13 (0.0%)
TRIAL = 2005 (0.08%)
REMOVE = 1987 (0.08%)
Returns = 2021 (0.08%)
PLACE = 2005 (0.08%)
FIT = 15339 (0.58%)
Total = 2624929	[27.246]
T 
;BROWSE

(FASLOAD MET11)
(*RSET (NOUUO ()))
(BROWSE)
(METER:REPORT-BROWSE)

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: INIT
=s = 1901 (25.33%) [0.02 (2.02%)]
1-s = 1591 (21.2%) [0.012 (1.21%)]
Gensyms = 1101 (14.67%) [0.889 (89.71%)]
Putprops = 1100 (14.66%) [0.04 (4.04%)]
Cars = 800 (10.66%) [0.013 (1.31%)]
Conses = 500 (6.66%) [2.0E-3 (0.2%)]
Cdrs = 405 (5.4%) [5.0E-3 (0.5%)]
Interns = 101 (1.35%) [0.01 (1.01%)]
Nulls = 3 (0.04%) [0.0 (0.0%)]
Rplacds = 1 (0.01%) [0.0 (0.0%)]
INIT = 1 (0.01%)
Total = 7504	[0.991]


Meter for: SEED
SEED = 1 (100.0%)
Total = 1	[0.0]


Meter for: RANDOM
RANDOM = 100 (100.0%)
Total = 100	[0.0]


Meter for: RANDOMIZE
=s = 2573 (32.87%) [0.023 (29.11%)]
Cdrs = 2475 (31.62%) [0.021 (26.58%)]
1-s = 2375 (30.34%) [0.025 (31.65%)]
Nulls = 101 (1.29%) [1.0E-3 (1.27%)]
Conses = 100 (1.28%) [1.0E-3 (1.27%)]
Lengths = 100 (1.28%) [7.0E-3 (8.86%)]
Rplacds = 98 (1.25%) [1.0E-3 (1.27%)]
Cars = 4 (0.05%) [0.0 (0.0%)]
RANDOMIZE = 1 (0.01%)
Total = 7827	[0.079]


Meter for: MATCH
Cars = 1319800 (34.62%) [10.753 (19.86%)]
Eqs = 755700 (19.82%) [6.688 (12.35%)]
Nulls = 504100 (13.22%) [4.008 (7.4%)]
Cdrs = 483400 (12.68%) [3.884 (7.17%)]
Conses = 239200 (6.27%) [20.813 (38.43%)]
Char1 = 226800 (5.95%) [6.985 (12.9%)]
MATCH = 213600 (5.6%)
Nconcs = 69000 (1.81%) [1.025 (1.89%)]
Returns = 600 (0.02%)
Total = 3812200	[54.156]


Meter for: BROWSE
Total = 0	[0.0]


Meter for: INVESTIGATE
Cars = 2700 (40.9%) [0.026 (37.14%)]
Nulls = 2001 (30.31%) [0.019 (27.14%)]
Cdrs = 1600 (24.24%) [0.016 (22.86%)]
Gets = 300 (4.54%) [9.0E-3 (12.86%)]
Total = 6601	[0.07]
T 
(SETQ METER:SORT-RUNTIME T)
T 
(METER:REPORT-BROWSE)

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: INIT
Gensyms = 1101 (14.67%) [0.889 (89.71%)]
Putprops = 1100 (14.66%) [0.04 (4.04%)]
=s = 1901 (25.33%) [0.02 (2.02%)]
Cars = 800 (10.66%) [0.013 (1.31%)]
1-s = 1591 (21.2%) [0.012 (1.21%)]
Interns = 101 (1.35%) [0.01 (1.01%)]
Cdrs = 405 (5.4%) [5.0E-3 (0.5%)]
Conses = 500 (6.66%) [2.0E-3 (0.2%)]
Rplacds = 1 (0.01%) [0.0 (0.0%)]
Nulls = 3 (0.04%) [0.0 (0.0%)]
INIT = 1 (0.01%)
Total = 7504	[0.991]


Meter for: SEED
SEED = 1 (100.0%)
Total = 1	[0.0]


Meter for: RANDOM
RANDOM = 100 (100.0%)
Total = 100	[0.0]


Meter for: RANDOMIZE
1-s = 2375 (30.34%) [0.025 (31.65%)]
=s = 2573 (32.87%) [0.023 (29.11%)]
Cdrs = 2475 (31.62%) [0.021 (26.58%)]
Lengths = 100 (1.28%) [7.0E-3 (8.86%)]
Rplacds = 98 (1.25%) [1.0E-3 (1.27%)]
Conses = 100 (1.28%) [1.0E-3 (1.27%)]
Nulls = 101 (1.29%) [1.0E-3 (1.27%)]
Cars = 4 (0.05%) [0.0 (0.0%)]
RANDOMIZE = 1 (0.01%)
Total = 7827	[0.079]


Meter for: MATCH
Conses = 239200 (6.27%) [20.813 (38.43%)]
Cars = 1319800 (34.62%) [10.753 (19.86%)]
Char1 = 226800 (5.95%) [6.985 (12.9%)]
Eqs = 755700 (19.82%) [6.688 (12.35%)]
Nulls = 504100 (13.22%) [4.008 (7.4%)]
Cdrs = 483400 (12.68%) [3.884 (7.17%)]
Nconcs = 69000 (1.81%) [1.025 (1.89%)]
Returns = 600 (0.02%)
MATCH = 213600 (5.6%)
Total = 3812200	[54.156]


Meter for: BROWSE
Total = 0	[0.0]


Meter for: INVESTIGATE
Cars = 2700 (40.9%) [0.026 (37.14%)]
Nulls = 2001 (30.31%) [0.019 (27.14%)]
Cdrs = 1600 (24.24%) [0.016 (22.86%)]
Gets = 300 (4.54%) [9.0E-3 (12.86%)]
Total = 6601	[0.07]
T 
;FFT

(fasload met12)
(*rset (nouuo ()))

(do ((ntimes 0 (1+ ntimes)))
    ((= ntimes 10.))
    (fft 're 'im))

(meter:report-fft)

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: FFT
Flonum Array Hacking = 2087680 (64.14%) [7.977 (55.08%)]
*$'s = 245720 (7.55%) [1.828 (12.62%)]
Flonum Array Accesses = 224640 (6.9%)
Flonum Array Stores = 224640 (6.9%)
+$'s = 163830 (5.03%) [1.673 (11.55%)]
-$'s = 163830 (5.03%) [1.644 (11.35%)]
>s = 71870 (2.21%) [0.649 (4.48%)]
<s = 40930 (1.26%) [0.381 (2.63%)]
1+s = 20660 (0.63%) [0.177 (1.22%)]
Quotients = 10240 (0.31%) [0.133 (0.92%)]
FLOATs = 200 (0.01%) [3.0E-3 (0.02%)]
/$'s = 200 (0.01%) [1.0E-3 (0.01%)]
↑'s = 110 (0.0%) [1.0E-3 (0.01%)]
SIN = 100 (0.0%) [6.0E-3 (0.04%)]
COS = 100 (0.0%) [9.0E-3 (0.06%)]
1-s = 20 (0.0%) [0.0 (0.0%)]
Gets = 20 (0.0%) [1.0E-3 (0.01%)]
Returns = 10 (0.0%)
Equals = 10 (0.0%) [0.0 (0.0%)]
Total = 3254810	[14.483]

(setq meter:sort-runtime t)
(meter:report-fft)

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: FFT
Flonum Array Hacking = 2087680 (64.14%) [7.977 (55.08%)]
*$'s = 245720 (7.55%) [1.828 (12.62%)]
+$'s = 163830 (5.03%) [1.673 (11.55%)]
-$'s = 163830 (5.03%) [1.644 (11.35%)]
>s = 71870 (2.21%) [0.649 (4.48%)]
<s = 40930 (1.26%) [0.381 (2.63%)]
1+s = 20660 (0.63%) [0.177 (1.22%)]
Quotients = 10240 (0.31%) [0.133 (0.92%)]
COS = 100 (0.0%) [9.0E-3 (0.06%)]
SIN = 100 (0.0%) [6.0E-3 (0.04%)]
FLOATs = 200 (0.01%) [3.0E-3 (0.02%)]
/$'s = 200 (0.01%) [1.0E-3 (0.01%)]
↑'s = 110 (0.0%) [1.0E-3 (0.01%)]
Gets = 20 (0.0%) [1.0E-3 (0.01%)]
Flonum Array Accesses = 224640 (6.9%)
Flonum Array Stores = 224640 (6.9%)
Returns = 10 (0.0%)
Equals = 10 (0.0%) [0.0 (0.0%)]
1-s = 20 (0.0%) [0.0 (0.0%)]
Total = 3254810	[14.483]
;DIV2

(fasload met13)
(*rset (nouuo ()))

(setq l (create-n 200.))

(test1 l)
(meter:report-div2)
       
Statistics
= <calls> (<percentage>)

Meter for: CREATE-N
Cdrs = 240000 (39.8%)
Nulls = 121200 (20.1%)
Conses = 120200 (19.93%)
Cars = 120000 (19.9%)
DIV2 = 1200 (0.2%)
=s = 201 (0.03%)
1-s = 200 (0.03%)
CREATE-N = 1 (0.0%)
DV2 = 0 (0.0%)
Total = 603002
T 
(meter:init-div2)

(setq l (create-n 200.))
(test2 l)
(meter:report-div2)
Statistics
= <calls> (<percentage>)

Meter for: CREATE-N
Cdrs = 240000 (33.19%)
Nulls = 121200 (16.76%)
DV2 = 121200 (16.76%)
Conses = 120200 (16.63%)
Cars = 120000 (16.6%)
1-s = 200 (0.03%)
=s = 201 (0.03%)
CREATE-N = 1 (0.0%)
DIV2 = 0 (0.0%)
Total = 723002
T 
;SCCPP
(fasload met14)
(*rset (nouuo ()))

(progn (setq q (pairs a b () 'equal () () ())) t)
;2592
(length q)
(meter:report-sccpp)
Statistics
= <calls> (<percentage>)

Meter for: PAIRS
Cars = 26096 (34.41%)
Cdrs = 16025 (21.13%)
List*s = 10106 (13.33%)
Conses = 10095 (13.31%)
Members = 10071 (13.28%)
Lists = 2603 (3.43%)
Nulls = 287 (0.38%)
1+s = 264 (0.35%)
Funcalls = 264 (0.35%)
Mapcans = 13 (0.02%)
PAIRS1 = 12 (0.02%)
Lengths = 2 (0.0%)
MAKE-POSSIBILITY-1 = 1 (0.0%)
<s = 1 (0.0%)
Mapcars = 1 (0.0%)
PAIR = 1 (0.0%)
MAKE-POSSIBILITY-2 = 0 (0.0%)
Rplacds = 0 (0.0%)
Throws = 0 (0.0%)
Mapcs = 0 (0.0%)
Catches = 0 (0.0%)
Total = 75842
;FRPOLY

(fasload met15)
(*rset (nouuo ()))

(setup)

(meter:report-frpoly)
Statistics
= <calls> (<percentage>)

Meter for: PCOEFADD
Cars = 98 (15.22%)
Signps = 94 (14.6%)
Atoms = 72 (11.18%)
Nulls = 66 (10.25%)
Conses = 54 (8.39%)
Cdrs = 48 (7.45%)
PCTIMES1 = 36 (5.59%)
PTIMES = 28 (4.35%)
PCTIMES = 28 (4.35%)
PCOEFADD = 26 (4.04%)
Zerops = 18 (2.8%)
PSIMP = 18 (2.8%)
Times's = 16 (2.48%)
Gets = 12 (1.86%)
PCPLUS = 12 (1.86%)
Putprops = 6 (0.93%)
Eqs = 6 (0.93%)
PPLUS = 6 (0.93%)
Oddps = 0 (0.0%)
Quotients = 0 (0.0%)
PEXPTSQ = 0 (0.0%)
Rplacds = 0 (0.0%)
<s = 0 (0.0%)
Rplacas = 0 (0.0%)
PTIMES3 = 0 (0.0%)
PTIMES2 = 0 (0.0%)
PTIMES1 = 0 (0.0%)
>s = 0 (0.0%)
=s = 0 (0.0%)
PPLUS1 = 0 (0.0%)
Pluses = 0 (0.0%)
Total = 644
T 
(meter:init-frpoly)
(bench 2)
(meter:report-frpoly)
Statistics
= <calls> (<percentage>)

Meter for: PCOEFADD
Signps = 381 (13.66%)
Cars = 369 (13.23%)
Cdrs = 324 (11.61%)
Nulls = 315 (11.29%)
Atoms = 300 (10.75%)
Conses = 180 (6.45%)
PTIMES = 123 (4.41%)
PCTIMES1 = 117 (4.19%)
PCOEFADD = 117 (4.19%)
PCTIMES = 114 (4.09%)
Times's = 78 (2.8%)
Zerops = 60 (2.15%)
PSIMP = 54 (1.94%)
Pluses = 36 (1.29%)
PTIMES2 = 27 (0.97%)
=s = 27 (0.97%)
PPLUS1 = 27 (0.97%)
PPLUS = 27 (0.97%)
>s = 18 (0.65%)
Eqs = 18 (0.65%)
PCPLUS = 18 (0.65%)
Rplacds = 9 (0.32%)
<s = 9 (0.32%)
Rplacas = 9 (0.32%)
PTIMES3 = 9 (0.32%)
PTIMES1 = 9 (0.32%)
Oddps = 6 (0.22%)
Quotients = 6 (0.22%)
PEXPTSQ = 3 (0.11%)
Putprops = 0 (0.0%)
Gets = 0 (0.0%)
Total = 2790
T 
(meter:init-frpoly)
(bench 5)
(meter:report-frpoly)
Statistics
= <calls> (<percentage>)

Meter for: PCOEFADD
Cars = 4413 (14.44%)
Cdrs = 4257 (13.93%)
Signps = 3516 (11.5%)
Nulls = 3501 (11.45%)
Atoms = 3294 (10.78%)
Conses = 1656 (5.42%)
PCOEFADD = 1110 (3.63%)
PTIMES = 1038 (3.4%)
PCTIMES = 942 (3.08%)
Times's = 768 (2.51%)
Pluses = 714 (2.34%)
PCTIMES1 = 624 (2.04%)
PPLUS = 609 (1.99%)
PPLUS1 = 555 (1.82%)
=s = 543 (1.78%)
PCPLUS = 465 (1.52%)
Zerops = 423 (1.38%)
PSIMP = 414 (1.35%)
>s = 366 (1.2%)
PTIMES2 = 345 (1.13%)
Eqs = 240 (0.79%)
<s = 198 (0.65%)
Rplacas = 198 (0.65%)
Rplacds = 132 (0.43%)
PTIMES3 = 132 (0.43%)
PTIMES1 = 96 (0.31%)
Oddps = 9 (0.03%)
Quotients = 9 (0.03%)
PEXPTSQ = 3 (0.01%)
Putprops = 0 (0.0%)
Gets = 0 (0.0%)
Total = 30570
T 
(meter:init-frpoly)
(bench 10)
(meter:report-frpoly)
Statistics
= <calls> (<percentage>)

Meter for: PCOEFADD
Cdrs = 50682 (15.05%)
Cars = 46686 (13.86%)
Atoms = 38700 (11.49%)
Signps = 37161 (11.03%)
Nulls = 36909 (10.96%)
Conses = 15285 (4.54%)
PCOEFADD = 10968 (3.26%)
PTIMES = 10641 (3.16%)
Pluses = 10239 (3.04%)
PCTIMES = 9864 (2.93%)
Times's = 9003 (2.67%)
PPLUS = 8709 (2.59%)
PCPLUS = 7485 (2.22%)
=s = 6708 (1.99%)
PPLUS1 = 6477 (1.92%)
>s = 5589 (1.66%)
PCTIMES1 = 3822 (1.13%)
PTIMES2 = 3531 (1.05%)
<s = 3456 (1.03%)
Rplacas = 3456 (1.03%)
Zerops = 2874 (0.85%)
PSIMP = 2862 (0.85%)
Eqs = 2001 (0.59%)
Rplacds = 1455 (0.43%)
PTIMES3 = 1455 (0.43%)
PTIMES1 = 777 (0.23%)
Oddps = 12 (0.0%)
Quotients = 12 (0.0%)
PEXPTSQ = 3 (0.0%)
Putprops = 0 (0.0%)
Gets = 0 (0.0%)
Total = 336822
T 
(meter:init-frpoly)
(bench 15)
(meter:report-frpoly)
Statistics
= <calls> (<percentage>)

Meter for: PCOEFADD
Cdrs = 384381 (16.78%)
Cars = 293511 (12.82%)
Atoms = 278784 (12.17%)
Signps = 247089 (10.79%)
Nulls = 242352 (10.58%)
Conses = 79140 (3.46%)
Pluses = 78024 (3.41%)
PTIMES = 71817 (3.14%)
PCTIMES = 67983 (2.97%)
PPLUS = 67575 (2.95%)
Times's = 65643 (2.87%)
PCPLUS = 62145 (2.71%)
PCOEFADD = 56466 (2.47%)
>s = 54225 (2.37%)
=s = 42726 (1.87%)
PPLUS1 = 37086 (1.62%)
<s = 35919 (1.57%)
Rplacas = 35919 (1.57%)
PTIMES2 = 19713 (0.86%)
Zerops = 11616 (0.51%)
PSIMP = 11604 (0.51%)
PCTIMES1 = 11271 (0.49%)
Rplacds = 11070 (0.48%)
PTIMES3 = 11070 (0.48%)
Eqs = 9264 (0.4%)
PTIMES1 = 3834 (0.17%)
Oddps = 12 (0.0%)
Quotients = 12 (0.0%)
PEXPTSQ = 3 (0.0%)
Putprops = 0 (0.0%)
Gets = 0 (0.0%)
Total = 2290254
T 
;BOYER

(fasload met16)
(*rset (nouuo ()))
(setup)
((lambda (meter:sort-runtime)
	 (meter:report-boyer)
	 (setq meter:sort-runtime t)
	 (meter:report-boyer)) ())

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cars = 424 (28.53%) [1.0E-3 (6.67%)]
Atoms = 212 (14.27%) [3.0E-3 (20.0%)]
Nulls = 107 (7.2%) [2.0E-3 (13.33%)]
ADD-LEMMA-LST = 107 (7.2%)
Cdrs = 106 (7.13%) [3.0E-3 (20.0%)]
Gets = 106 (7.13%) [1.0E-3 (6.67%)]
Conses = 106 (7.13%) [1.0E-3 (6.67%)]
Putprops = 106 (7.13%) [1.0E-3 (6.67%)]
Eqs = 106 (7.13%) [3.0E-3 (20.0%)]
ADD-LEMMA = 106 (7.13%)
TRUEP = 0 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 0 (0.0%)
TAUTOLOGYP = 0 (0.0%)
REWRITE-WITH-LEMMAS = 0 (0.0%)
REWRITE-ARGS = 0 (0.0%)
REWRITE = 0 (0.0%)
ONE-WAY-UNIFY1-LST = 0 (0.0%)
ONE-WAY-UNIFY1 = 0 (0.0%)
ONE-WAY-UNIFY = 0 (0.0%)
Members = 0 (0.0%) [0.0 (0.0%)]
Equals = 0 (0.0%) [0.0 (0.0%)]
FALSEP = 0 (0.0%)
APPLY-SUBST-LST = 0 (0.0%)
APPLY-SUBST = 0 (0.0%)
Total = 1486	[0.015]

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cdrs = 106 (7.13%) [3.0E-3 (20.0%)]
Eqs = 106 (7.13%) [3.0E-3 (20.0%)]
Atoms = 212 (14.27%) [3.0E-3 (20.0%)]
Nulls = 107 (7.2%) [2.0E-3 (13.33%)]
Gets = 106 (7.13%) [1.0E-3 (6.67%)]
Conses = 106 (7.13%) [1.0E-3 (6.67%)]
Putprops = 106 (7.13%) [1.0E-3 (6.67%)]
Cars = 424 (28.53%) [1.0E-3 (6.67%)]
TRUEP = 0 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 0 (0.0%)
TAUTOLOGYP = 0 (0.0%)
REWRITE-WITH-LEMMAS = 0 (0.0%)
REWRITE-ARGS = 0 (0.0%)
REWRITE = 0 (0.0%)
ONE-WAY-UNIFY1-LST = 0 (0.0%)
ONE-WAY-UNIFY1 = 0 (0.0%)
ONE-WAY-UNIFY = 0 (0.0%)
Members = 0 (0.0%) [0.0 (0.0%)]
Equals = 0 (0.0%) [0.0 (0.0%)]
FALSEP = 0 (0.0%)
APPLY-SUBST-LST = 0 (0.0%)
APPLY-SUBST = 0 (0.0%)
ADD-LEMMA-LST = 107 (7.2%)
ADD-LEMMA = 106 (7.13%)
Total = 1486	[0.015]

(meter:init-boyer)
(test)
((lambda (meter:sort-runtime)
	 (meter:report-boyer)
	 (setq meter:sort-runtime t)
	 (meter:report-boyer)) ())

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Cars = 788408 (23.74%) [6.475 (4.84%)]
Cdrs = 462652 (13.93%) [3.656 (2.73%)]
Nulls = 434133 (13.07%) [3.545 (2.65%)]
Atoms = 419284 (12.63%) [3.934 (2.94%)]
Conses = 226464 (6.82%) [113.753 (85.08%)]
ONE-WAY-UNIFY1 = 171145 (5.15%)
REWRITE-ARGS = 169804 (5.11%)
REWRITE-WITH-LEMMAS = 152280 (4.59%)
Eqs = 128879 (3.88%) [1.101 (0.82%)]
ONE-WAY-UNIFY1-LST = 100601 (3.03%)
REWRITE = 91024 (2.74%)
Gets = 79742 (2.4%) [1.198 (0.9%)]
ONE-WAY-UNIFY = 73499 (2.21%)
APPLY-SUBST-LST = 11448 (0.34%)
APPLY-SUBST = 9512 (0.29%)
Equals = 1403 (0.04%) [0.017 (0.01%)]
Members = 272 (0.01%) [0.022 (0.02%)]
TRUEP = 207 (0.01%)
FALSEP = 150 (0.0%)
TAUTOLOGYP = 111 (0.0%)
TAUTP = 1 (0.0%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
ADD-LEMMA-LST = 0 (0.0%)
Putprops = 0 (0.0%) [0.0 (0.0%)]
ADD-LEMMA = 0 (0.0%)
Total = 3321019	[133.701]

Statistics
= <calls> (<percentage>) [runtime (<percentage>)]


Meter for: ADD-LEMMA
Conses = 226464 (6.82%) [113.753 (85.08%)]
Cars = 788408 (23.74%) [6.475 (4.84%)]
Atoms = 419284 (12.63%) [3.934 (2.94%)]
Cdrs = 462652 (13.93%) [3.656 (2.73%)]
Nulls = 434133 (13.07%) [3.545 (2.65%)]
Gets = 79742 (2.4%) [1.198 (0.9%)]
Eqs = 128879 (3.88%) [1.101 (0.82%)]
Members = 272 (0.01%) [0.022 (0.02%)]
Equals = 1403 (0.04%) [0.017 (0.01%)]
TRUEP = 207 (0.01%)
Sub1s = 0 (0.0%) [0.0 (0.0%)]
TRANS-OF-IMPLIES1 = 0 (0.0%)
TRANS-OF-IMPLIES = 0 (0.0%)
TAUTP = 1 (0.0%)
TAUTOLOGYP = 111 (0.0%)
REWRITE-WITH-LEMMAS = 152280 (4.59%)
REWRITE-ARGS = 169804 (5.11%)
REWRITE = 91024 (2.74%)
ONE-WAY-UNIFY1-LST = 100601 (3.03%)
ONE-WAY-UNIFY1 = 171145 (5.15%)
ONE-WAY-UNIFY = 73499 (2.21%)
FALSEP = 150 (0.0%)
APPLY-SUBST-LST = 11448 (0.34%)
APPLY-SUBST = 9512 (0.29%)
ADD-LEMMA-LST = 0 (0.0%)
Putprops = 0 (0.0%) [0.0 (0.0%)]
ADD-LEMMA = 0 (0.0%)
Total = 3321019	[133.701]
T 
;TPRINT

(Fasload met17)
(*rset (nouuo ()))

(progn (setq test-pattern (init 6. 6. test-atoms)) t)
(meter:report-tprint)
Statistics
= <calls> (<percentage>)

Meter for: INIT
Conses = 2184 (23.82%)
<s = 1456 (15.88%)
Cdrs = 1133 (12.36%)
=s = 1093 (11.92%)
INIT1 = 1093 (11.92%)
1-s = 1092 (11.91%)
Cars = 1092 (11.91%)
Nulls = 21 (0.23%)
Rplacds = 1 (0.01%)
Substs = 1 (0.01%)
INIT = 1 (0.01%)
Total = 9167
T 
;FPRINT

(Fasload met18)
(*rset (nouuo ()))

(progn (setq test-pattern (init 6. 6. test-atoms)) t)
(meter:report-fprint)
Statistics
= <calls> (<percentage>)

Meter for: INIT
Conses = 2184 (23.82%)
<s = 1456 (15.88%)
Cdrs = 1133 (12.36%)
=s = 1093 (11.92%)
INIT1 = 1093 (11.92%)
1-s = 1092 (11.91%)
Cars = 1092 (11.91%)
Nulls = 21 (0.23%)
Rplacds = 1 (0.01%)
Substs = 1 (0.01%)
INIT = 1 (0.01%)
Total = 9167
T 
;FREAD

(Fasload met19)
(*rset (nouuo ()))

(fread)
(meter:report-fread)
Statistics
= <calls> (<percentage>) [runtime (<percentage>)]

Meter for: FREAD
Read = 1 (33.33%) [0.978 (99.8%)]
Open = 1 (33.33%) [2.0E-3 (0.2%)]
Close = 1 (33.33%) [0.0 (0.0%)]
Total = 3	[0.98]
T 
;STAK

(fasload met20)
(tak 18. 12. 6.)
(meter:report-stak)
Statistics
= <calls> (<percentage>)

Meter for: TAK
<s = 63609 (28.57%)
Calls to STAK = 63609 (28.57%)
Binds = 47709 (21.43%)
1-s = 47706 (21.43%)
Total = 222633
T 
;CTAK

(fasload met21)
(tak 18. 12. 6.)
(meter:report-ctak)
Statistics
= <calls> (<percentage>)

Meter for: TAK
<s = 63609 (23.53%)
Calls to TAK1 = 63609 (23.53%)
Throws = 47707 (17.65%)
Catches = 47707 (17.65%)
1-s = 47706 (17.65%)
Total = 270338
T